Modular brain construction
نویسندگان
چکیده
منابع مشابه
Modular Construction of DTE Policies
This paper describes a tool which composes a policy for a fine-grained mandatory access control system (DTE) from a set of mostly independent policy modules. For a large system with many services, a DTE policy becomes unwieldy. However, many system services and security extensions can be considered to be largely standalone. By providing for explicit grouping, namespaces, and globbing by namespa...
متن کاملModular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, comple...
متن کاملUniversit at Augsburg Modular Construction of Fast Asynchronous Systems Modular Construction of Fast Asynchronous Systems
A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case eeciency of asynchronous systems using dense time, and it is shown that one can equivalently use discrete time. The resulting testing-preorder is characterized with some kind of refusal traces. Furthermore, the testing-preorder is reened to a precongruence for standard operators known from process a...
متن کاملConstruction of Secure CabCurves Using Modular Curves
This paper proposes a heuristic algorithm which, given a basis of a subspace of the space of cuspforms of weight 2 for Γ0(N) which is invariant for the action of the Hecke operators, tests whether the subspace corresponds to a quotient A of the jacobian of the modular curve X0(N) such that A is the jacobian of a curve C. Moreover, equations for such a curve C are computed which make the quotien...
متن کاملModular Construction of fuzzy Logic control Systems
This dissertation presents a novel approach to combining wavelet networks and multilayer feedforward network for fuzzy logic control systems. Most of the existing methods focus on implementing the Takagi-Sugano fuzzy reasoning model and have demonstrated its effectiveness. However, these methods fail to keep the knowledge structure, which is critical in interpreting the learning process and pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2016
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.354.6308.78-d